Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
201	Categorical variable verification Ian Jolliffe 5IVMW - Tutorial Session - December 2011 Add to Reading List Source URL: www.cawcr.gov.au Language: English - Date: 2012-08-20 04:03:43 Data mining Detection theory Receiver operating characteristic Statistical classification Forecasting Contingency table Rain Statistics Data analysis Statistical forecasting
202	Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving ? Gidon Ernst, Gerhard Schellhorn, and Wolfgang Reif {ernst,schellhorn,reif}@informatik.uni-augsburg.de University of Augsb Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:17:33 Data management R-tree B+ tree T-tree Heap Tree Ternary tree Binary search tree Binary trees B-tree Graph theory
203	WPJS1st-Minutes-Appendix A.doc Add to Reading List Source URL: www.vtc.edu.hk Language: English - Date: 2010-11-19 00:21:32 Systems theory Systems science Food safety Pharmaceutical industry Quality management Verification and validation Systems design Analysis Human factors Systems engineering Systems analysis Science
204	CBP WQGIT BMP Verification Committee Thursday, February 21, 2012 Meeting Chesapeake Bay Program Office Main Conference Room 410 Severn Avenue Annapolis, Maryland[removed]http://www.chesapeakebay.net/calendar/event/18958/ Add to Reading List Source URL: www.chesapeakebay.net Language: English - Date: 2013-02-12 13:18:54 Systems engineering Attachment theory Ethology Evolutionary biology Human development Psychoanalysis Communications protocol Verification Committee Behavior Human behavior Data
205	THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:01 Formal methods Functions and mappings Formal sciences Mathematical logic Formal verification Control theory KeY Integral Function Mathematics Applied mathematics Theoretical computer science
206	May 2010 JEFFREY T. POLZER Harvard Business School 315 Morgan Hall Boston, MA[removed]8047 Add to Reading List Source URL: www.people.hbs.edu Language: English - Date: 2010-06-14 16:53:27 Mind Identity negotiation Organizational theory Self-verification theory Harvard Business School Kellogg School of Management Conflict management Organizational identification Self Social psychology Behavioural sciences
207	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
208	Microsoft Word - CBP BMP Verification Commmittee Conf Call Agenda May[removed]docx Add to Reading List Source URL: www.chesapeakebay.net Language: English - Date: 2012-05-11 15:14:48 Love Psychoanalysis Human behavior Attachment theory Ethology Personal life Behavior Human development Interpersonal relationships
209	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
210	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods

UPDATE